From: Florian Müllner Date: Wed, 28 May 2025 22:02:09 +0000 (+0200) Subject: dateMenu: Stop using ratio character for time X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~124^2^2~68 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=08261f38ff17b56fef4283361e365e72640fa465;p=gnome-shell.git dateMenu: Stop using ratio character for time The recommendation was dropped from the HIG 3 years ago without communicating to developers that they should update their code. Do that now. [0] https://gitlab.gnome.org/Teams/Websites/developer.gnome.org-hig/-/commit/41d6b4a56f04 Related: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2618 Part-of: --- diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js index 39687c321..213d72e95 100644 --- a/js/ui/dateMenu.js +++ b/js/ui/dateMenu.js @@ -500,7 +500,7 @@ class WorldClocksSection extends St.Button { const prefix = offsetCurrentTz >= 0 ? '+' : '-'; const text = offsetMinutes === 0 ? `${prefix}${offsetHours}` - : `${prefix}${offsetHours}\u2236${offsetMinutes}`; + : `${prefix}${offsetHours}:${offsetMinutes}`; return text; }